Lizhong Tu School of Computer Engineering, Nanjing Institute of Technology Nanjing, ChinaFangxiong Xiao College of Information Science & Technology Nanjing University of Aeronautics and AstronauticsNanjing, ChinaZhiqiu Huang College of Information Science & Technology Nanjing University of Aeronautics and Astronautics Nanjing, China
摘 要:Process algebras are a set of formal languages that are suitable to describe concurrent and composite systems including services composition. Nowadays, though process algebras have been effectively exploited for modeling and verifying functional aspects of services composition, modeling non-functional aspects of services composition with process algebras has been ignored. Cost is one of the most important non-functional aspects of services composition, but existing process algebras have not cost modeling capability. We propose Priced Probabilistic Process Algebra (PPPA) by extending existing probabilistic process algebra with cost. We model services composition with PPPA and demonstrate that services composition can be controlled by Markov decision process with target function of optimal cost.
关键词:services composition; process algebra; costoptimization; optimization; probability
馆藏号:p10349
所有评论仅代表网友意见